Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems
نویسندگان
چکیده
A specific class of Petri nets was extended with AsynchronousChannels (ACs) and Time-Domains (TDs) to support Globally-Asynchronous Locally-Synchronous (GALS) systems’ modeling, analysis and implementation. This non-autonomous class of Petri nets is targeted to support the development of automation and embedded systems using a model-based development approach. It benefits from a tool chain framework previously developed, covering the whole development flow, from specification to hardware and software deployment. With the extended Petri net class is possible to model GALS systems, and use the specification to generate the corresponding state space supporting the behavior verification and providing valuable information for implementation.
منابع مشابه
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification
High-level Petri net classes are suited to specify concurrent processes with emphasis both in control and data processing, making them appropriate to specify distributed embedded systems (DES). Embedded systems components are usually synchronous, which means that DES can be seen as GloballyAsynchronous Locally-Synchronous (GALS) systems. This paper proposes to include in high-level Petri nets a...
متن کاملSynthesis of Petri Nets with Localities
Automated synthesis from behavioural specifications is an attractive way of constructing computational systems. In this paper, we look at a specific instance of this approach which aims at constructing GALS (globally asynchronous locally synchronous) systems. GALS systems are represented by Petri nets with localities, each locality defining a set of co-located actions, and specifications are gi...
متن کاملPetri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
This paper shows a methodology for Globally-AsynchronousLocally-Synchronous (GALS) systems specification and verification. The distributed system is specified by non-autonomous Petri net modules, obtained after the partition of a (global) Petri net model. These modules are represented using IOPT (Input-Output Place-Transition) Petri net models, communicating through dedicated communication chan...
متن کاملStep Persistence in the Design of GALS Systems
In this paper we investigate the behaviour of GALS (Globally Asynchronous Locally Synchronous) systems in the context of VLSI circuits. The specification of a system is given in the form of a Petri net. Our aim is to re-design the system to optimise signal management, by grouping together concurrent events. Looking at the concurrent reachability graph of the given Petri net, we are interested i...
متن کاملSpecification of Asynchronous Component Systems with Modal I/O-Petri Nets
Modal transition systems are an elegant way to formalise the design process of a system through refinement and composition. Here we propose to adapt this methodology to asynchronous composition via Petri nets. The Petri nets that we consider have distinguished labels for inputs, outputs, internal communications and silent actions and “must” and “may” modalities for transitions. The input/output...
متن کامل